#ifndef __IVC_H__
#define __IVC_H__
#include "shyper_service.h"
#include "irq.h"


bool receive_msg(struct msg_data *msg);
bool receive_ack(void *ack);
bool test_receive_msg(struct msg_data *msg);

#endif